computational tree logic造句
例句與造句
- Many temporal logics can be encoded in the ?-calculus, including CTL * and its widely used fragments & mdash; linear temporal logic and computational tree logic.
- The properties to be verified are often described in temporal logics, such as linear temporal logic ( LTL ), Property Specification Language ( PSL ), SystemVerilog Assertions ( SVA ), or computational tree logic ( CTL ).
- I'm currently working on my thesis which is about Model checking so I'll try to update / add some articles around that topic in the following days . I'm currently creating my first article on wikipedia : Computational tree logic.
- It's difficult to find computational tree logic in a sentence. 用computational tree logic造句挺難的